Jens Palsberg: buscar en el sitio web de Z-Library

Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Libre acceso a los conocimientos y la cultura.

Donaciones 15 de septiembre 2024 – 1 de octubre 2024

Z-Library es una de las bibliotecas en línea más grandes del mundo que contiene más de 17,000,000 libros y 84,837,000 artículos. Nuestro objetivo es hacer que la literatura sea accesible para todos. Hoy (15 de septiembre 2024) hemos empezado a recaudar donaciones adicionales para el soporte y desarrollo del proyecto.

También hay descargas ILIMITADAS (durante 31 días después del día de la donación) disponibles para TODOS los usuarios que apoyen el proyecto durante el período de recaudación de fondos hasta el 1 de octubre 2024.

Acerca de la recaudación de fondosVer más

Hacer una donación

Libros (14)
Más populares
Lista
- Lista
- Tabla

1

Modern Compiler Implementation in Java

Modern Compiler Implementation in Java

Cambridge University Press

Andrew W. Appel, Jens Palsberg

Año:

2002

Idioma:

english

Archivo:

CHM, 8.02 MB

5.0 / 5.0

english, 2002

2

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Springer International Publishing

Isil Dillig, Jens Palsberg (eds.)

Año:

2018

Idioma:

english

Archivo:

PDF, 8.31 MB

0 / 0

english, 2018

3

Object-Oriented Type Systems

Object-Oriented Type Systems

Jens Palsberg, Michael I. Schwartzbach

Año:

1994

Idioma:

english

Archivo:

DJVU, 1.11 MB

0 / 0

english, 1994

4

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Jens Palsberg (auth.), Jens Palsberg (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 6.26 MB

0 / 0

english, 2009

5

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 11.26 MB

0 / 0

english, 2008

6

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 4.10 MB

0 / 0

english, 2009

7

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Jens Palsberg (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 3.76 MB

0 / 0

english, 2000

8

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Jens Palsberg (auth.), Jens Palsberg (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 4.85 MB

0 / 0

english, 2009

9

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 5.64 MB

0 / 5.0

english, 2009

10

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 7.54 MB

0 / 0

english, 2008

11

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Springer-Verlag Berlin Heidelberg

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)

Año:

2006

Idioma:

english

Archivo:

PDF, 5.35 MB

0 / 0

english, 2006

12

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Jens Palsberg (auth.), Jens Palsberg (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 5.06 MB

0 / 0

english, 2009

13

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Jens Palsberg (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 4.19 MB

0 / 0

english, 2000

14

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 4.14 MB

0 / 0

english, 2009